[MINIOS] Move initialisation of events (masking event channels)
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Fri, 17 Nov 2006 09:16:27 +0000 (09:16 +0000)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Fri, 17 Nov 2006 09:16:27 +0000 (09:16 +0000)
commit7d58e874105e17c7cd15c1734e66dd8ccb14d996
tree1d3621da982485695d9fa4c0901971ef32a4ae20
parentb38e0f65a82591aa44d5693208c248eda280c7dd
[MINIOS] Move initialisation of events (masking event channels)
earlier during the boot process. Otherwise 64bit guests would
sometimes crash.

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
extras/mini-os/include/x86/os.h
extras/mini-os/kernel.c
extras/mini-os/mm.c